Inclusion–Exclusion Principle